4

On the expressive power of temporal logic for infinite words

Year:
1991
Language:
english
File:
PDF, 744 KB
english, 1991